Inside the Muchnik Degrees: Discontinuity, Learnability, and Constructivism
نویسندگان
چکیده
Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify nonuniformly computable functions on Baire space from the viewpoint of learning theory and piecewise computability. For instance, we show that mind-change-bounded-learnability is equivalent to finite (Π1)2-piecewise computability (where (Π 0 1)2 denotes the difference of two Π 0 1 sets), error-bounded-learnability is equivalent to finite ∆2-piecewise computability, and learnability is equivalent to countable Π1-piecewise computability (equivalently, countable Σ 0 2-piecewise computability). Second, we introduce disjunction-like operations such as the coproduct based on BHK-like interpretations, and then, we see that these operations induce Galois connections between the Medvedev degree structure and associated Medvedev/Muchnik-like degree structures. Finally, we interpret these results in the context of the Weihrauch degrees and Wadge-like games.
منابع مشابه
Inside the Muchnik Degrees II: The Degree Structures induced by the Arithmetical Hierarchy of Countably Continuous Functions
It is known that infinitely many Medvedev degrees exist inside the Muchnik degree of any nontrivial Π1 subset of Cantor space. We shed light on the fine structures inside these Muchnik degrees related to learnability and piecewise computability. As for nonempty Π1 subsets of Cantor space, we show the existence of a finite-∆2-piecewise degree containing infinitely many finite-(Π 0 1)2-piecewise ...
متن کاملCoding true arithmetic in the Medvedev and Muchnik degrees
We prove that the first-order theory of the Medvedev degrees, the first-order theory of the Muchnik degrees, and the third-order theory of true arithmetic are pairwise recursively isomorphic (obtained independently by Lewis, Nies, and Sorbi [7]). We then restrict our attention to the degrees of closed sets and prove that the following theories are pairwise recursively isomorphic: the first-orde...
متن کاملMass problems and intuitionistic higher-order logic
In this paper we study a model of intuitionistic higher-order logic which we call the Muchnik topos. The Muchnik topos may be defined briefly as the category of sheaves of sets over the topological space consisting of the Turing degrees, where the Turing cones form a base for the topology. We note that our Muchnik topos interpretation of intuitionistic mathematics is an extension of the well kn...
متن کاملMass Problems
Informally, mass problems are similar to decision problems. The difference is that, while a decision problem has only one solution, a mass problem is allowed to have more than one solution. Many concepts which apply to decision problems apply equally well to mass problems. For instance, a mass problem is said to be solvable if it has at least one computable solution. Also, one mass problem is s...
متن کاملAn extension of the recursively enumerable Turing degrees
We embed the upper semilattice of r.e. Turing degrees into a slightly larger structure which is better behaved and more foundationally relevant. For P,Q ⊆ 2, we say P is Muchnik reducible to Q if for all Y ∈ Q there exists X ∈ P such that X is Turing reducible to Y . We let Pw denote the lattice of Muchnik degrees of nonempty Π1 subsets of 2. Pw is a countable distributive lattice with 0 and 1....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 165 شماره
صفحات -
تاریخ انتشار 2014